Works by Reynolds, M. (exact spelling)

( view other items matching `Reynolds, M.`, view all matches )
Order:
  1.  431
    An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
    We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  5
    Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.T. French, R. van der Meyden & M. Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-72.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations